科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于集合的逻辑程序和并发约束程序的故障分析
Andreas Podelski; Witold Charatonik;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:逻辑/约束编程和并发性:第五代计算机项目来之不易的教训
机译:逻辑程序和并发约束程序的基于集基的失败分析
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:用于分析并发约束逻辑程序的汇合语义基础
机译:故障分析支持设备,故障分析支持方法,故障分析支持程序和记录中记录故障分析支持程序
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。